TEN: Table Explicitization, Neurosymbolically
arxiv.orgยท2d
๐ŸŒณContext free grammars
Anaphoric Macros
letoverlambda.comยท20hยท
Discuss: Lobsters
๐Ÿง Lisp Dialects
The theorem on formal functions
math.columbia.eduยท8h
โš”๏ธLean Theorem
Writing an LLM from scratch - Tutorial series
gilesthomas.comยท1d
๐Ÿ’ปLocal LLMs
Stacks in Python โ€” A Practical Guide to LIFO Data Structures
thenewstack.ioยท13h
๐Ÿ”—Concatenative Programming
GSlip โ€“ GNU SLIP (Symmetric LIst Processor) in C++
gnu.orgยท2dยท
Discuss: Hacker News
โœ…Format Verification
I Gave My LLM a Promotion: Now It Delegates Its Own Work
dev.toยท8hยท
Discuss: DEV
๐ŸงฎTheorem Proving
Typechecker Zoo
sdiehl.github.ioยท10hยท
Discuss: Lobsters
ฮปLambda Formalization
Programming with Natural Language Is Going to Work (2010)
writings.stephenwolfram.comยท2dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
LaajMeter: A Framework for LaaJ Evaluation
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Speaker Identification / Different Tones of Voice. [R]
reddit.comยท4hยท
Discuss: r/MachineLearning
๐ŸŽตAudio ML
Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.comยท1dยท
Discuss: Hacker News, r/LocalLLaMA
๐Ÿง Intelligence Compression
Transformer-Mediated Immune Cell Self/Non-Self Discrimination via Contextualized Peptide Motif Analysis
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ˆMutual Information
SABER: Switchable and Balanced Training for Efficient LLM Reasoning
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.meยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Functional Compilers
A beginner-friendly guide to learning Jax with practical examples
github.comยท1dยท
Discuss: Hacker News, r/LocalLLaMA
โš”๏ธLean Tactics
Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.orgยท3d
๐Ÿ“‹Document Grammar
What Is LLM Tokenization and Why Is It Important?
medium.comยท4dยท
Discuss: Hacker News
๐Ÿ“Text Parsing
Bridging AI Innovation and Healthcare Needs: Lessons Learned from Incorporating Modern NLP at The BC Cancer Registry
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Thematic and Task-Based Categorization of K-12 GenAI Usages with Hierarchical Topic Modeling
arxiv.orgยท1d
๐Ÿ›Digital humanities